منابع مشابه
Handling Equality in Logic Programming via Basic Folding
We introduce a new approach to handling equality in logic programs. The method is based on the transformation of equational logic programs into logic programs without equality using basic superposition and the basic folding. We prove soundness, completeness and the existence of terminating strategies. The e ciency of the method is demonstrated on examples. An implementation is brie y discussed....
متن کاملA Note on Chen’s Basic Equality for Submanifolds in a Sasakian Space Form
It is proved that a Riemannian manifold M isometrically immersed in a Sasakian space form˜M(c) of constant ϕ-sectional curvature c < 1, with the structure vector field ξ tangent to M, satisfies Chen's basic equality if and only if it is a 3-dimensional minimal invariant submanifold. 1. Introduction. Let˜M be an m-dimensional almost contact manifold endowed with an almost contact structure (ϕ,ξ,...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملOn the Zagreb Indices Equality
For a simple graph G with n vertices and m edges, the first Zagreb index and the second Zagreb index are defined as M1(G) = ∑ v∈V d(v) 2 and M2(G) = ∑ uv∈E d(u)d(v). In [34], it was shown that if a connected graph G has maximal degree 4, then G satisfies M1(G)/n = M2(G)/m (also known as the Zagreb indices equality) if and only if G is regular or biregular of class 1 (a biregular graph whose no ...
متن کاملOn Generalized Intuitionistic Soft Equality
Park et al. (2011) introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, the concept of generalized intuitionistic fuzzy soft equality is introduced and some related properties are derived. It is proved that generalized intuitionistic fuzzy soft equality is congruence relation with res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 1998
ISSN: 0019-2082
DOI: 10.1215/ijm/1255985615